The MCP Logical Solver is a powerful reasoning system that combines large language models and formal theorem - proving capabilities. It supports natural language and first - order logic input, performs automatic verification through Prover9/Mace4, and provides structured reasoning and explanations.

A project that allows the large language model to act as the host of the Haigui Tang game, supporting single - player Haigui Tang reasoning games

PentestThinkingMCP is an automated penetration testing framework based on large language models and the MCP protocol. It can plan attack paths through Beam Search and MCTS algorithms, providing step reasoning, tool recommendation, and key path analysis for CTF, HTB, and real - world penetration testing.

MCP Think is an MCP server that implements the 'think' tool, aiming to enhance the reasoning ability of large language models such as Claude in complex tasks by providing a structured thinking space.